ディープラーニング検定 G

試験時間：120分

知識問題（多肢選択式・220問程度）

オンライン実施（自宅受験）

グレードの高いE検定は大学の勉強みたいな感じでガチ（プログラムを受けないと受験資格がない）

歴史

1956 ダートマス会議（The Dartmouth Summer Research Project on Artificial Intelligence）

AIという用語を作った

Lispを設計した。S式も考案。

認知科学者。MIT人工知能研究所の創設者の1人

最初のAssembly languageを書いた人

Herbert Alexander Simon（経済学者）とAllen Newell、J.C.Shawが原論の定理を証明するプログラムLogic Theoristのデモを実施

ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の冒頭の52の定理のうち38を証明してみせ、一部については新たなもっと洗練された証明方法を発見している

手法

問題をtreeにする

状態が多すぎるので木構造の枝刈りをする

Mini-max法